RCA-Based Detection Methods for Resolution Refutation
نویسندگان
چکیده
In molecular resolution refutation, the detection of empty clauses is important. We propose a rolling circle amplification-based detection method for resolution refutation. The rolling circle amplification (RCA) technique is known to be able to distinguish and amplify circular DNA. In this paper, we describe the representation of clauses and the RCA-based detection method. Bio-lab experiments show the basic idea for this method is correct.
منابع مشابه
The Partial Rehabilitation of Propositional Resolution
Resolution has not been an eeective tool for deciding satissability of propositional CNF formulas, due to explosion of the search space, particularly when the formula is satissable. A new pruning method is described, which is designed to eliminate certain refutation attempts that cannot succeed. The method exploits the concept of \autarky", which was introduced by Monien and Speckenmeyer. New f...
متن کاملRolling Circle Amplification (RCA): an approach for quick detection and identification of fungal species
Conventional methods for fungal identification in the clinical laboratory rely on morphological andphysiological tests. These tests often need several days or weeks to complete and are frequentlyunspecific. Molecular identification mostly implies sequencing, which is relatively expensive andtime-consuming, as well as impractical for large numbers of isolates. The Rolling CircleAmplification app...
متن کاملDetection and discrimination of two Brucella species by multiplex real-time PCR and high-resolution melt analysis curve from human blood and comparison of results using RFLP
Objective(s): Rapid and accurate detection of Brucella abortus and Brucella melitensis from clinical samples is so important because antibiotic treatment has major side effects. This study reveals a new method in detection of clinical samples of brucellosis using real-time PCR and high-resolution melt (HRM) curve analysis. Materials and Methods: 160 brucellosis suspicious samples with more tha...
متن کاملA Generalized Resolution Proof Schema and the Pigeonhole Principle
The schematic CERES method is a method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can be thought of as a way to circumvent the addition of an induction rule to the LK-calculus. In this work, we formalize a schematic version of the Infinitary Pigeonhole Principle (IPP), in the LKS-calculus [9], and analyse the extracted claus...
متن کاملWidth and size of regular resolution proofs
This paper discusses the topic of the minimum width of a regular resolution refutation of a set of clauses. The main result shows that there are examples having small regular resolution refutations, for which any regular refutation must contain a large clause. This forms a contrast with corresponding results for general resolution refutations.
متن کامل